1
Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

წელი:
2016
ენა:
english
ფაილი:
PDF, 8.26 MB
5.0 / 5.0
english, 2016
2
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

წელი:
2020
ენა:
english
ფაილი:
PDF, 11.58 MB
5.0 / 5.0
english, 2020